منابع مشابه
Double Ore Extensions versus Iterated Ore Extensions
Motivated by the construction of new examples of Artin-Schelter regular algebras of global dimension four, J.J.Zhang and J.Zhang (2008) introduced an algebra extension AP [y1, y2;σ, δ, τ ] of A, which they called a double Ore extension. This construction seems to be similar to that of a two-step iterated Ore extension over A. The aim of this paper is to describe those double Ore extensions whic...
متن کاملGigantic left atrial thrombus.
secondary prevention and high-risk primary prevention: rationale and design of the Clopidogrel for High Atherothrombotic Risk and Ischemic Stabilization, Management and Avoidance (CHARISMA). Am Heart J 2004;148:263–268. 35. Karabulut H, Toraman F, Evrenkaya S, Goksel O, Tarcan S, Alhan C. Clopidogrel does not increase bleeding and allogenic blood transfusion in coronary artery surgery. Eur J Ca...
متن کامل3D Stockpile Modelling to Improve the Quality Control in Iron Ore Handling
This paper describes a 3D stockpile modelling algorithm to improve quality control and increase operational efficiency in iron ore handling. The 3D model, generated from real measuring data, approximates a stockpile using a group of 3D volumetric element, which able to store information inside it, such as quality compositions of the ore. By associating this model with the cutting geometry of a ...
متن کاملBlue jets and gigantic jets
An overview of general phenomenology and proposed physical mechanisms of large scale electrical discharges termed ‘blue jets’ and ‘gigantic jets’ observed at high altitude in the Earth’s atmosphere above thunderstorms is presented. The primary emphasis is placed on summarizing available experimental data on the observed morphological features of upward jet discharges and on the discussion of re...
متن کاملModel Checking Gigantic Markov Models
Probabilistic model checking – the verification of models incorporating random phenomena – has enjoyed a rapid increase of interest. Thanks to the availability of mature tool support and efficient verification algorithms, probabilistic model checking has been successfully applied to case studies from various areas, such as randomized (distributed) algorithms, planning and AI, security, hardware...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientific American
سال: 1903
ISSN: 0036-8733
DOI: 10.1038/scientificamerican06201903-469